1. A practical guide to data structures and algorithms using Java /
پدیدآورنده : Sally Goldman, Kenneth Goldman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data structures (Computer science),Java (Computer program language),Data structures (Computer science),Java (Computer program language)
رده :
QA76
.
73
.
J38
2. A systematic catalogue of reusable abstract data types /
پدیدآورنده : Jürgen Uhl, Hans Albrecht Schmid
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Abstract data types (Computer science),Computer software-- Reusability
رده :
QA76
.
9
.
A23
U37
1990
3. A systematic catalogue of reusable abstract data types
پدیدآورنده : Uhl, J. )Jurgen(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Abstract data types )Computer science(,Reusability ، Computer software
رده :
QA
76
.
9
.
A23
.
U37
1990
4. A systematic catalogue of reusable abstract data types
پدیدآورنده : Uhl, Jurgen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Abstract data types )Computer science(,، Computer software -- Reusability
رده :
QA
76
.
L28
Vol
.
460
5. AQA A level Computer Science.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
6. Abstract compositional analysis of iterated relations :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Abstract data types (Computer science) ; System analysis. ; Electronic data processing ; Structured techniques. ;
7. Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems
پدیدآورنده : Geurts, Frederic
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Abstract data types )Computer science(,، System analysis,، Electronic data processing -- Structured techniques
رده :
QA
76
.
L28
Vol
.
1426
8. Abstract data types and Modula-2 : a worked example of design using data abstraction
پدیدآورنده : Mitchell, Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Modula 2 )Computer program language(,، Abstract data types )Computer science(
رده :
QA
76
.
73
.
M63
M58
1992
9. Abstract data types and algorithms
پدیدآورنده : Azmoodeh, Manoochehr
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Abstract data types )Computer science(,، Algorithms
رده :
QA
76
.
9
.
A23
A9
1990
10. Abstract data types in Java
پدیدآورنده : / Michael S. Jenkins
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Java (Computer program language),Abstract data types (Computer science)
رده :
QA76
.
73
.
J38
,
J45
1998
11. Abstract data types: specifications, implementations, and applications
پدیدآورنده : Dale, Nell B.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Abstract data types )Computer science(,، Data structures )Computer science(
رده :
QA
76
.
9
.
A23
.
D35
1996
12. Abstract data types: Their specification, representation, and use
پدیدآورنده : Pete Thomas, Hugh Robinson, and Judy Emms
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Abstract data types (Computer science)
رده :
QA
،
76
.
9
،.
A23
,
T46
،
1988
13. Ada 95 :
پدیدآورنده : John English.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ada (Computer program language),Object-oriented programming (Computer science),Ada (Computer program language),Ada (langage de programmation),ADA 95.,Object-oriented programming (Computer science),Objektorientierte Programmierung.,Programmation orientée objets (informatique)
رده :
QA76
.
64
.
E54
1997
14. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
15. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
16. Advanced technologies, systems, and applications /
پدیدآورنده : Mirsad Hadžikadić, Samir Avdaković, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Systems engineering, Congresses.
رده :
TA168
17. Advances in Data Base Theory :
پدیدآورنده : edited by Hervé Gallaire, Jack Minker, Jean Marie Nicolas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science)
رده :
QA76
.
9
.
D35
E358
1981
18. Advances in communication, devices and networking :
پدیدآورنده : Rabindranath Bera, Subir Kumar Sarkar, Swastika Chakraborty, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Wireless communication systems, Congresses.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Wireless communication systems.
رده :
TK5105
.
5
19. Advances in computers.
پدیدآورنده : edited by Marshall C. Yovits.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
22
